function docWrite(s){
document.write(s);
}