document.write (" 25493 ");