document.write (" 12319 ");