document.write (" 12318 ");