document.write (" 15142 ");