document.write (" 10573 ");