document.write (" 18312 ");