document.write("6042 ");