document.write (" 12919 ");