document.write (" 13142 ");