document.write (" 10193 ");