document.write (" 12530 ");