document.write("4196 ");