document.write (" 11372 ");