document.write (" 12512 ");