document.write (" 10112 ");