document.write (" 71258 ");