Código PHP:
...
if(login.usuario != "" && login.pass != ""){ %>
<script language="JavaScript" type="text/javascript">
<!--
var divLogin = document.getElementById("div_login");
var nodo = document.createElement("div");
nodo.id="login_entra";
var divError = document.getElementById("error");
var div = document.getElementById("login");
var nodoLabel = document.createElement("label");
var aux = <%=login.usuario %>
var texto = document.createTextNode("Bienvenido "+aux);
nodo.appendChild(texto);
divLogin.parentNode.replaceChild(nodo,divLogin);
//-->
</script>
<%
}
%>