document.write("
>><\/span> "<\/span>abb"<\/span><\/span>.<\/span>succ<\/span><\/span>\n");
document.write("=><\/span> "<\/span>abc"<\/span><\/span>\n");
document.write(">><\/span> "<\/span>1"<\/span><\/span>.<\/span>succ<\/span><\/span>\n");
document.write("=><\/span> "<\/span>2"<\/span><\/span>\n");
document.write(">><\/span> "<\/span>1999zzz"<\/span><\/span>.<\/span>succ<\/span><\/span>\n");
document.write("=><\/span> "<\/span>2000aaa"<\/span><\/span>\n");
document.write(">><\/span> \n");
document.write("<\/pre>\n");
document.write("