document.write (" 13673 ");