document.write (" 10524 ");