document.write (" 15342 ");