document.write("6047 ");