document.write (" 12894 ");