document.write (" 13894 ");