document.write("4212 ");