document.write (" 10138 ");