document.write("5107 ");