document.write (" 25523 ");