This is to make the javascript printing very easy