document.write (" 10532 ");