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