document.write("4312 ");