script: html5shiv printshiv+*machine input