document.write (" 12505 ");