document.write ('5667  ' );