document.write("4294 ");