document.write (" 12138 ");