document.write (" 12508 ");