// docwrite4.js document.write(' ');