document.write (" 10173 ");