document.write('\"terminal\"');