document.write("4240 ");