document.write('<p># mysqldump -uuser -ppass foo＞/tmp/foo.sql</p>');