<?php $mysql_server = "localhost"; $mysql_user = "prova_pis"; $mysql_password = "patata"; $mysql_db = "prova_pis"; ?>