document.write (" 10424 ");