document.write (" 12524 ");