Video solusi : Menjelang lebaran, suatu perusahaan penerbitan memberikan tunjangan hari raya (THR) kepada para pegawainya. Setiap pegawai akan memperleh tunjangan sebesar setengah gaji pokok di tambah Rp.500.000. gaji pokok dinyatakan x dan tunjangan hari raya dinyatakan dengan y. Jika seseorang pegawai mendapatkan tunjangan hari raya sebesar Rp.3.500.000, maka gaji pokok pegawai tersebut adalah....